Reproducibility equals insurability. The forensic chain of custody is what allows an insurer to underwrite a governance layer at all.
An insurer underwriting a governance layer is asked to price a loss model, which requires a tractable distribution over outcomes. When the layer is probabilistic, the loss model is probabilistic-on-probabilistic: the insurer prices a guess about a guess.
H.A.R.I. removes the inner guess. Every governed action carries a chain entry — inputs, policy version, canonical output, named authorizing human. The layer’s behaviour, conditional on inputs, is exact rather than statistical.
The headline inverts the usual posture, where insurance is bolted on once the technology is “good enough”. Here, the property that makes the system reviewable is the same property that makes it underwritable.
No vendor-specific tooling required. The chain is queryable, records are signed with audit-grade ECDSA P-256, and the OpenTimestamps proof — current ID SOV-2026-02-26 — anchors the chain in a public, third-party-independent timeline. The underwriter receives the same data model as the regulator.
For a probabilistic system, the insurer prices the residual risk that tail behaviour is unknown: there is no replay that produces the same answer twice. Sampling and synthetic stress tests help, but the structural property that makes pricing precise is absent.
For H.A.R.I., tail behaviour is specified by policy. The insurer prices what the policy says, conditional on the chain delivering the inputs and the layer delivering the output. The insurance relationship is the most direct evidence of the architectural difference.
Architecture-validated for insurance-aligned governance. Pilot-ready when scoped with an insurer or insurance partner whose mandate covers the deployment.
Insurers and reinsurers: the replay procedure and chain data model are available at architecture level pre-NDA.